Software engineering - PDFSEARCH.IO - Document Search Engine

Software engineering
Results: 57508

#	Item
571	PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama Add to Reading List Source URL: www.acm.org Language: English - Date: 2016-06-08 12:49:34 Software engineering Declarative programming Computer programming Functional programming Theoretical computer science Data types Type theory Computability theory Lambda calculus Recursion Algebraic data type Anonymous function
572	Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:37 Formal methods Software engineering Unified Modeling Language Concurrency Concurrency control Construction and Analysis of Distributed Processes Synchronization Theoretical computer science UML tool Mentor Graphics Computing
573	Norman Ramsey Associate Professor Department of Computer Science Tufts University Medford, MassachusettsEmail: Phone: + Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2013-11-25 15:39:10 Computer science Software engineering Computing Functional programming International Conference on Functional Programming Programming Language Design and Implementation Symposium on Principles of Programming Languages SIGPLAN ECL programming language Association for Computing Machinery Programming language theory
574	Presburger Formulas and Polyhedral Compilation v0.02 Sven Verdoolaege Polly Labs and KU Leuven January 15, 2016 Add to Reading List Source URL: lirias.kuleuven.be Language: English - Date: 2016-01-16 02:32:56 Software engineering Computer programming Computing Data types Compiler optimizations Cross-platform software Procedural programming languages Iterator Object Polytope model Assignment Type system
575	7th round, March 5th , 2016 COCITASK Add to Reading List Source URL: hsin.hr Language: English - Date: 2016-03-06 04:04:00 Computing Computer programming Software engineering Arrays Computer performance Lookup table Software optimization K
576	NSQ-160 Version 0 JuneCORRESPONDENCE MATRIX NSQ-100 vs 10 CFR 50 Appendix B Add to Reading List Source URL: www.nqsa.org Language: English - Date: 2014-07-07 10:11:39 Evaluation Quality management Quality Business Pharmaceutical industry Systems engineering Validity Quality management system Validation Verification and validation Requirement Software verification and validation
577	ARTICLE IN PRESS The Journal of Systems and Software xxxxxx–xxx Contents lists available at ScienceDirect The Journal of Systems and Software Add to Reading List Source URL: www.antoniochella.it Language: English - Date: 2013-06-11 17:28:29 Computing Multi-agent systems Systems science Software engineering Software design pattern Software development Agent-based model Software design Robotics Robot Code reuse
578	Software Engineering Department Major Form Check List Student Name: _______________________________________ SID: ________________________________________________ Add to Reading List Source URL: cmpe.sjsu.edu Language: English - Date: 2013-04-05 04:24:12 Economy of the United States Business California State University San Jose State University Academia General Electric Transfer credit Massachusetts Institute of Technology
579	Stack Traces in Haskell Master of Science Thesis ARASH ROUHANI Chalmers University of Technology Add to Reading List Source URL: arashrouhani.com Language: English - Date: 2015-06-22 18:30:08 Software engineering Computer programming Software Functional languages Subroutines Haskell Literate programming Stack Call stack Glasgow Haskell Compiler
580	Intelligent Abstraction – Intelligent Predictive Analytics – Intelligent Action Storage Challenges for next Generation Scale-Out Data Center (WHD) © 2016 FalconStor Software®. All Rights Reserved Add to Reading List Source URL: www.whd.global Language: English - Date: 2016-03-30 08:16:14 Computing Computer data storage Cloud storage Data management Telecommunications engineering Computer storage devices Software-defined storage FalconStor Software Solid-state drive ISCSI Storage area network IOPS

UPDATE